A Note on Regular De Morgan Semi-Heyting Algebras
نویسندگان
چکیده
منابع مشابه
Dually quasi-De Morgan Stone semi-Heyting algebras II. Regularity
This paper is the second of a two part series. In this Part, we prove, using the description of simples obtained in Part I, that the variety $mathbf{RDQDStSH_1}$ of regular dually quasi-De Morgan Stone semi-Heyting algebras of level 1 is the join of the variety generated by the twenty 3-element $mathbf{RDQDStSH_1}$-chains and the variety of dually quasi-De Morgan Boolean semi-Heyting algebras--...
متن کاملDually quasi-De Morgan Stone semi-Heyting algebras I. Regularity
This paper is the first of a two part series. In this paper, we first prove that the variety of dually quasi-De Morgan Stone semi-Heyting algebras of level 1 satisfies the strongly blended $lor$-De Morgan law introduced in cite{Sa12}. Then, using this result and the results of cite{Sa12}, we prove our main result which gives an explicit description of simple algebras(=subdirectly irreducibles) ...
متن کاملDually quasi-De Morgan Stone semi-Heyting algebras I. Regularity
This paper is the first of a two part series. In this paper, we first prove that the variety of dually quasi-De Morgan Stone semi-Heyting algebras of level 1 satisfies the strongly blended ∨-De Morgan law introduced in [20]. Then, using this result and the results of [20], we prove our main result which gives an explicit description of simple algebras(=subdirectly irreducibles) in the variety o...
متن کاملJi-distributive Dually Quasi-de Morgan Linear Semi-heyting Algebras
The main purpose of this paper is to axiomatize the join of the variety DPCSHC of dually pseudocomplemented semi-Heyting algebras generated by chains and the variety generated by D2, the De Morgan expansion of the four element Boolean Heyting algebra. Toward this end, we first introduce the variety DQDLNSH of dually quasi-De Morgan linear semi-Heyting algebras defined by the linearity axiom and...
متن کاملdually quasi-de morgan stone semi-heyting algebras i. regularity
this paper is the first of a two part series. in this paper, we first prove that the variety of dually quasi-de morgan stone semi-heyting algebras of level 1 satisfies the strongly blended $lor$-de morgan law introduced in cite{sa12}. then, using this result and the results of cite{sa12}, we prove our main result which gives an explicit description of simple algebras(=subdirectly irreducibles) ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Demonstratio Mathematica
سال: 2016
ISSN: 2391-4661,0420-1213
DOI: 10.1515/dema-2016-0021